『Homotopy Type Theory Univalent Foundations of Mathematics』Chapter 9 Category theory
P307~P340
table:訳
Rezk completion Rezk補完?
stack completion スタック補完?
essentially surjective 本質的全射 precategory 前圏
saturating
truncation 切り捨て
higher inductive type 高次帰納的型?
table:訳2
mimic 真似る、似せる